Search results for " monad"
showing 7 items of 7 documents
Colletotrin: a sesquiterpene lactone from the endophytic fungus Colletotrichum gloeosporioides associated with Trichilia monadelpha
2017
Abstract A new sesquiterpene lactone, namely colletotrin (1), together with two known fungal metabolites (2, 3), was obtained from a rice culture of Colletotrichum gloeosporioides, an endophytic fungus isolated from the stem bark of Cameroonian medicinal plant Trichilia monadelpha (Meliaceae). The structure of the new compound was established on the basis of extensive NMR analysis (1H, 13C, heteronuclear single-quantum coherence and heteronuclear multiple-bond correlation) completed by high-resolution electrospray ionization mass spectroscopy results and by comparison of these data with those of related compounds described in the literature. Their cytotoxic and antibacterial activities agai…
Double adjunctions and free monads
2011
We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove …
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Chemical constituents from leaves and root bark of Trichilia monadelpha (Meliaceae)
2018
Abstract Two new limonoid derivatives designated, monadelphin A (1) and monadelphin B (2) and two new sesquiterpene derivatives named trichins A (3) and B (4) were isolated together with six known compounds (5–10) from the mixture of methylene chloride/methanol (1:1) extract of leaves and root bark of Trichilia monadelpha (Meliaceae) collected in Cameroon. The structures of the new compounds were unambiguously established by detailed spectroscopic analysis including 1D and 2D NMR data in conjunction with high resolution mass spectrometry data and by comparison of these data with those of related compounds described in the literature. Compounds 1–4 were screened for their cytotoxic potential…
Tra monadi e tessuti preesistenti
2017
Il rapporto che un progettista ha con la propria città natale è una delle prime fonti da indagare per comprendere se e in che modo alcune peculiarità dello spazio urbano, vissuto quotidianamente, trovano eco o si rispecchiano integralmente nel lavoro dello stesso architetto. Seguendo tale direzione di approfondimento, si vogliono inquadrare i progetti di Angelo Torricelli per Milano, proponendo un iniziale confronto fra due di erenti affermazioni. La prima di Chiara Baglione, la seconda dello stesso Torricelli. Dalle due frasi sembra scaturire, di fatto, una coincidenza fra il modo di essere di una città, Milano per l’appunto, e le qualità intrinseche delle architetture di Torricelli, in gr…
Monads in double categories
2010
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.
Polynomial functors and polynomial monads
2009
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.